Description
The Logic Lab is a high-level tool for the specification of arbitrary logics in sequent calculus notation. With the aid of the Logic Lab, it is possible for the programmer to implement type secure working derivation systems in minutes and conduct computer-assisted proofs. Starting from assumed foundations, this text shows how to fabricate a working version of propositional calculus and then first-order logic. The book then subsequently goes on to examine more advanced systems, including modal logic, tableau and Martin-Löf type theory. 'Programming the Logic Lab' is a companion to the author’s earlier introductory work 'Logic, Proof and Computation' which used computer-based proof.
Details
Publisher - Fastprint
Language - English
Paperback
Contributors
Author
Mark Tarver
Published Date - June 24 2023
ISBN - 9603003000025
Dimensions - 22.9 x 15.2 x 0.9 cm
Page Count - 120
Payment & Security
Your payment information is processed securely. We do not store credit card details nor have access to your credit card information.